[INFO] cloning repository https://github.com/kino-mc/kino
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/kino-mc/kino" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Fkino", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Fkino'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 50a67d55e21a04383767b89c2c9b2f998dc1ce8b
[INFO] building kino-mc/kino against master#ff34b919075f35a1787659e9c448a34b06bab8de for issue-85264
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Fkino" "/workspace/builds/worker-2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/kino-mc/kino on toolchain ff34b919075f35a1787659e9c448a34b06bab8de
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/kino-mc/kino
[INFO] finished tweaking git repo https://github.com/kino-mc/kino
[INFO] tweaked toml for git repo https://github.com/kino-mc/kino written to /workspace/builds/worker-2/source/Cargo.toml
[INFO] crate git repo https://github.com/kino-mc/kino already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently
[INFO] [stderr] disables Cargo from automatically inferring other binary targets.
[INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following
[INFO] [stderr] files will be included as a binary target:
[INFO] [stderr] 
[INFO] [stderr] * /workspace/builds/worker-2/source/src/main.rs
[INFO] [stderr] 
[INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be
[INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself
[INFO] [stderr] and disable this warning by adding `autobins = false` to your [package]
[INFO] [stderr] section. You may also move the files to a location where Cargo would not
[INFO] [stderr] automatically infer them to be a target, such as in subfolders.
[INFO] [stderr] 
[INFO] [stderr] For more information on this warning you can consult
[INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330
[INFO] [stderr] warning: path `/workspace/builds/worker-2/source/src/main.rs` was erroneously implicitly accepted for binary `kino`,
[INFO] [stderr] please set bin.path in Cargo.toml
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bbe4d84a182d72821582e4c0b2f47b4f4ea15fadd643d1f879d809b783e33f43
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "bbe4d84a182d72821582e4c0b2f47b4f4ea15fadd643d1f879d809b783e33f43", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bbe4d84a182d72821582e4c0b2f47b4f4ea15fadd643d1f879d809b783e33f43", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bbe4d84a182d72821582e4c0b2f47b4f4ea15fadd643d1f879d809b783e33f43", kill_on_drop: false }`
[INFO] [stdout] bbe4d84a182d72821582e4c0b2f47b4f4ea15fadd643d1f879d809b783e33f43
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7a3a86417fcb7ef3d1312d88ed75839fbdc73e6fe34da83b18afe3d4d4bc9038
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "7a3a86417fcb7ef3d1312d88ed75839fbdc73e6fe34da83b18afe3d4d4bc9038", kill_on_drop: false }`
[INFO] [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently
[INFO] [stderr] disables Cargo from automatically inferring other binary targets.
[INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following
[INFO] [stderr] files will be included as a binary target:
[INFO] [stderr] 
[INFO] [stderr] * /opt/rustwide/workdir/src/main.rs
[INFO] [stderr] 
[INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be
[INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself
[INFO] [stderr] and disable this warning by adding `autobins = false` to your [package]
[INFO] [stderr] section. You may also move the files to a location where Cargo would not
[INFO] [stderr] automatically infer them to be a target, such as in subfolders.
[INFO] [stderr] 
[INFO] [stderr] For more information on this warning you can consult
[INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330
[INFO] [stderr] warning: path `/opt/rustwide/workdir/src/main.rs` was erroneously implicitly accepted for binary `kino`,
[INFO] [stderr] please set bin.path in Cargo.toml
[INFO] [stderr]    Compiling libc v0.2.20
[INFO] [stderr]    Compiling num-traits v0.1.36
[INFO] [stderr]    Compiling gcc v0.3.42
[INFO] [stderr]    Compiling rustc-serialize v0.3.22
[INFO] [stderr]    Compiling rustc-demangle v0.1.3
[INFO] [stderr]    Compiling nom v2.1.0
[INFO] [stderr]    Compiling hashconsing v0.5.0
[INFO] [stderr]    Compiling ansi_term v0.9.0
[INFO] [stderr]    Compiling backtrace v0.3.0
[INFO] [stderr]    Compiling rand v0.3.15
[INFO] [stderr]    Compiling num-integer v0.1.32
[INFO] [stderr]    Compiling backtrace-sys v0.1.5
[INFO] [stderr]    Compiling num-iter v0.1.32
[INFO] [stderr]    Compiling error-chain v0.8.1
[INFO] [stderr]    Compiling rsmt2 v0.4.4
[INFO] [stderr]    Compiling num-bigint v0.1.35
[INFO] [stderr]    Compiling num-complex v0.1.35
[INFO] [stderr]    Compiling num-rational v0.1.35
[INFO] [stderr]    Compiling num v0.1.36
[INFO] [stderr]    Compiling term v0.2.0 (/opt/rustwide/workdir/term)
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:40:21
[INFO] [stdout]    |
[INFO] [stdout] 40 |   fn to_vmt(& self, & mut io::Write) -> io::Result<()> ;
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(anonymous_parameters)]` on by default
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/base.rs:40:27
[INFO] [stdout]    |
[INFO] [stdout] 40 |   fn to_vmt(& self, & mut io::Write) -> io::Result<()> ;
[INFO] [stdout]    |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:46:22
[INFO] [stdout]    |
[INFO] [stdout] 46 |   fn to_smt2(& self, & mut io::Write, & Offset2) -> io::Result<()> ;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:46:39
[INFO] [stdout]    |
[INFO] [stdout] 46 |   fn to_smt2(& self, & mut io::Write, & Offset2) -> io::Result<()> ;
[INFO] [stdout]    |                                       ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Offset2`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/base.rs:46:28
[INFO] [stdout]    |
[INFO] [stdout] 46 |   fn to_smt2(& self, & mut io::Write, & Offset2) -> io::Result<()> ;
[INFO] [stdout]    |                            ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:52:20
[INFO] [stdout]    |
[INFO] [stdout] 52 |   fn write(& self, & mut io::Write) -> io::Result<()> ;
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/base.rs:52:26
[INFO] [stdout]    |
[INFO] [stdout] 52 |   fn write(& self, & mut io::Write) -> io::Result<()> ;
[INFO] [stdout]    |                          ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:58:20
[INFO] [stdout]    |
[INFO] [stdout] 58 |   fn write(& self, & mut io::Write, SymPrintStyle) -> io::Result<()> ;
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:58:37
[INFO] [stdout]    |
[INFO] [stdout] 58 |   fn write(& self, & mut io::Write, SymPrintStyle) -> io::Result<()> ;
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: SymPrintStyle`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/base.rs:58:26
[INFO] [stdout]    |
[INFO] [stdout] 58 |   fn write(& self, & mut io::Write, SymPrintStyle) -> io::Result<()> ;
[INFO] [stdout]    |                          ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:66:13
[INFO] [stdout]    |
[INFO] [stdout] 66 |     & self, & mut io::Write, & Sym, & State, SymPrintStyle
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:66:30
[INFO] [stdout]    |
[INFO] [stdout] 66 |     & self, & mut io::Write, & Sym, & State, SymPrintStyle
[INFO] [stdout]    |                              ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Sym`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:66:37
[INFO] [stdout]    |
[INFO] [stdout] 66 |     & self, & mut io::Write, & Sym, & State, SymPrintStyle
[INFO] [stdout]    |                                     ^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & State`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:66:46
[INFO] [stdout]    |
[INFO] [stdout] 66 |     & self, & mut io::Write, & Sym, & State, SymPrintStyle
[INFO] [stdout]    |                                              ^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: SymPrintStyle`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/base.rs:66:19
[INFO] [stdout]    |
[INFO] [stdout] 66 |     & self, & mut io::Write, & Sym, & State, SymPrintStyle
[INFO] [stdout]    |                   ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:73:20
[INFO] [stdout]    |
[INFO] [stdout] 73 |   fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ;
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:73:37
[INFO] [stdout]    |
[INFO] [stdout] 73 |   fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ;
[INFO] [stdout]    |                                     ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Svw`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/base.rs:73:44
[INFO] [stdout]    |
[INFO] [stdout] 73 |   fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ;
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: SymPrintStyle`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/base.rs:73:26
[INFO] [stdout]    |
[INFO] [stdout] 73 |   fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ;
[INFO] [stdout]    |                          ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/base.rs:131:34
[INFO] [stdout]     |
[INFO] [stdout] 131 |   fn write(& self, writer: & mut io::Write) -> io::Result<()> {
[INFO] [stdout]     |                                  ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:228:5
[INFO] [stdout]     |
[INFO] [stdout] 228 |     try!( write!(writer, "|@") ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:230:22
[INFO] [stdout]     |
[INFO] [stdout] 230 |       State::Curr => try!( self.curr.write(writer) ),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:231:22
[INFO] [stdout]     |
[INFO] [stdout] 231 |       State::Next => try!( self.next.write(writer) ),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:233:5
[INFO] [stdout]     |
[INFO] [stdout] 233 |     try!( v.write(writer, style) ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/base.rs:225:27
[INFO] [stdout]     |
[INFO] [stdout] 225 |     & self, writer: & mut io::Write,
[INFO] [stdout]     |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:243:5
[INFO] [stdout]     |
[INFO] [stdout] 243 |     try!( write!(writer, "|@") ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:245:22
[INFO] [stdout]     |
[INFO] [stdout] 245 |       State::Curr => try!( self.write(writer) ),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:248:5
[INFO] [stdout]     |
[INFO] [stdout] 248 |     try!( v.write(writer, style) ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/base.rs:240:27
[INFO] [stdout]     |
[INFO] [stdout] 240 |     & self, writer: & mut io::Write,
[INFO] [stdout]     |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:259:22
[INFO] [stdout]     |
[INFO] [stdout] 259 |       State::Curr => try!( write!(writer, "(_ curr |") ),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:260:22
[INFO] [stdout]     |
[INFO] [stdout] 260 |       State::Next => try!( write!(writer, "(_ next |") ),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/base.rs:262:5
[INFO] [stdout]     |
[INFO] [stdout] 262 |     try!( v.write(writer, style) ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/base.rs:255:27
[INFO] [stdout]     |
[INFO] [stdout] 255 |     & self, writer: & mut io::Write,
[INFO] [stdout]     |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/typ.rs:72:34
[INFO] [stdout]    |
[INFO] [stdout] 72 |   fn write(& self, writer: & mut io::Write) -> io::Result<()> {
[INFO] [stdout]    |                                  ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/sym.rs:41:27
[INFO] [stdout]    |
[INFO] [stdout] 41 |     & self, writer: & mut io::Write, style: SymPrintStyle
[INFO] [stdout]    |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/sym.rs:54:27
[INFO] [stdout]    |
[INFO] [stdout] 54 |     & self, writer: & mut io::Write, style: SymPrintStyle
[INFO] [stdout]    |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/sym.rs:67:18
[INFO] [stdout]    |
[INFO] [stdout] 67 |   fn sym(& self, T) -> Sym ;
[INFO] [stdout]    |                  ^ help: try naming the parameter or explicitly ignoring it: `_: T`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/cst.rs:137:34
[INFO] [stdout]     |
[INFO] [stdout] 137 |   fn write(& self, writer: & mut io::Write) -> io::Result<()> {
[INFO] [stdout]     |                                  ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/cst.rs:153:23
[INFO] [stdout]     |
[INFO] [stdout] 153 |   fn constant(& self, Const) -> Cst ;
[INFO] [stdout]     |                       ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Const`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/cst.rs:160:16
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (self as & ConstMaker<Const>).constant(cst.clone())
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn ConstMaker<Const>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> term/src/var.rs:85:9
[INFO] [stdout]    |
[INFO] [stdout] 85 |         try!( write!(writer, "|") ) ;
[INFO] [stdout]    |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> term/src/var.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |         try!( sym.write(writer, style) ) ;
[INFO] [stdout]    |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/var.rs:81:27
[INFO] [stdout]    |
[INFO] [stdout] 81 |     & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle
[INFO] [stdout]    |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> term/src/var.rs:98:27
[INFO] [stdout]    |
[INFO] [stdout] 98 |     & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle
[INFO] [stdout]    |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]    = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/var.rs:111:18
[INFO] [stdout]     |
[INFO] [stdout] 111 |   fn var(& self, Symbol) -> Out ;
[INFO] [stdout]     |                  ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Symbol`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/var.rs:114:19
[INFO] [stdout]     |
[INFO] [stdout] 114 |   fn svar(& self, Symbol, State) -> Out ;
[INFO] [stdout]     |                   ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Symbol`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/var.rs:114:27
[INFO] [stdout]     |
[INFO] [stdout] 114 |   fn svar(& self, Symbol, State) -> Out ;
[INFO] [stdout]     |                           ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: State`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/term.rs:663:27
[INFO] [stdout]     |
[INFO] [stdout] 663 |     & self, writer: & mut io::Write
[INFO] [stdout]     |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:737:9
[INFO] [stdout]     |
[INFO] [stdout] 737 |         try!( write!(fmt, "({}", op) ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:739:11
[INFO] [stdout]     |
[INFO] [stdout] 739 |           try!( write!(fmt, " {}", t) )
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:744:9
[INFO] [stdout]     |
[INFO] [stdout] 744 |         try!( write!(fmt, "(forall (") ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:746:11
[INFO] [stdout]     |
[INFO] [stdout] 746 |           try!( write!(fmt, " ({} {})", sym, typ) )
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:748:9
[INFO] [stdout]     |
[INFO] [stdout] 748 |         try!( write!(fmt, " ) ") ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:749:9
[INFO] [stdout]     |
[INFO] [stdout] 749 |         try!( write!(fmt, "{}", term) ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:753:9
[INFO] [stdout]     |
[INFO] [stdout] 753 |         try!( write!(fmt, "(exists (") ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:755:11
[INFO] [stdout]     |
[INFO] [stdout] 755 |           try!( write!(fmt, " ({} {})", sym, typ) )
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:757:9
[INFO] [stdout]     |
[INFO] [stdout] 757 |         try!( write!(fmt, " ) ") ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:758:9
[INFO] [stdout]     |
[INFO] [stdout] 758 |         try!( write!(fmt, "{}", term) ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:762:9
[INFO] [stdout]     |
[INFO] [stdout] 762 |         try!( write!(fmt, "(let (") ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:764:11
[INFO] [stdout]     |
[INFO] [stdout] 764 |           try!( write!(fmt, " ({} {})", sym, term) )
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:766:9
[INFO] [stdout]     |
[INFO] [stdout] 766 |         try!( write!(fmt, " ) ") ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:767:9
[INFO] [stdout]     |
[INFO] [stdout] 767 |         try!( write!(fmt, "{}", term) ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:771:9
[INFO] [stdout]     |
[INFO] [stdout] 771 |         try!( write!(fmt, "({}", sym) ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:773:11
[INFO] [stdout]     |
[INFO] [stdout] 773 |           try!( write!(fmt, " {}", term) )
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:836:27
[INFO] [stdout]     |
[INFO] [stdout] 836 |           if ! is_first { try!( write!(writer, " ") ) } ;
[INFO] [stdout]     |                           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:839:15
[INFO] [stdout]     |
[INFO] [stdout] 839 |               try!( var.write(writer, sv_writer, style) )
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:842:15
[INFO] [stdout]     |
[INFO] [stdout] 842 |               try!( cst.write(writer) )
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:845:15
[INFO] [stdout]     |
[INFO] [stdout] 845 |               try!( write!(writer, "(|") ) ;
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:846:15
[INFO] [stdout]     |
[INFO] [stdout] 846 |               try!( sym.write(writer, style) ) ;
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:847:15
[INFO] [stdout]     |
[INFO] [stdout] 847 |               try!( write!(writer, "| ") ) ;
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:853:15
[INFO] [stdout]     |
[INFO] [stdout] 853 |               try!( write!(writer, "(") ) ;
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:854:15
[INFO] [stdout]     |
[INFO] [stdout] 854 |               try!( op.write(writer) ) ;
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:855:15
[INFO] [stdout]     |
[INFO] [stdout] 855 |               try!( write!(writer, " ") ) ;
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:861:15
[INFO] [stdout]     |
[INFO] [stdout] 861 |               try!( write!(writer, "(let ( ") ) ;
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:863:17
[INFO] [stdout]     |
[INFO] [stdout] 863 |                 try!( write!(writer, "(|") ) ;
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:864:17
[INFO] [stdout]     |
[INFO] [stdout] 864 |                 try!( sym.write(writer, style) ) ;
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:865:17
[INFO] [stdout]     |
[INFO] [stdout] 865 |                 try!( write!(writer, "| ") ) ;
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:866:17
[INFO] [stdout]     |
[INFO] [stdout] 866 |                 try!( term.write(writer, sv_writer, style) ) ;
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:867:17
[INFO] [stdout]     |
[INFO] [stdout] 867 |                 try!( write!(writer, ") ") ) ;
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:869:15
[INFO] [stdout]     |
[INFO] [stdout] 869 |               try!( write!(writer, ") ") ) ;
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/term.rs:877:13
[INFO] [stdout]     |
[INFO] [stdout] 877 |             try!( write!(writer, ")") )
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/term.rs:828:27
[INFO] [stdout]     |
[INFO] [stdout] 828 |     & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle
[INFO] [stdout]     |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/term.rs:891:27
[INFO] [stdout]     |
[INFO] [stdout] 891 |     & self, writer: & mut io::Write
[INFO] [stdout]     |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/term.rs:899:27
[INFO] [stdout]     |
[INFO] [stdout] 899 |     & self, writer: & mut io::Write, offset: & Offset2
[INFO] [stdout]     |                           ^^^^^^^^^ help: use `dyn`: `dyn io::Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:909:18
[INFO] [stdout]     |
[INFO] [stdout] 909 |   fn var(& self, Var) -> Term ;
[INFO] [stdout]     |                  ^^^ help: try naming the parameter or explicitly ignoring it: `_: Var`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:921:18
[INFO] [stdout]     |
[INFO] [stdout] 921 |   fn cst(& self, Const) -> Out ;
[INFO] [stdout]     |                  ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Const`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:940:17
[INFO] [stdout]     |
[INFO] [stdout] 940 |   fn op(& self, Operator, Vec<Term>) -> Term ;
[INFO] [stdout]     |                 ^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Operator`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:940:27
[INFO] [stdout]     |
[INFO] [stdout] 940 |   fn op(& self, Operator, Vec<Term>) -> Term ;
[INFO] [stdout]     |                           ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<Term>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:953:18
[INFO] [stdout]     |
[INFO] [stdout] 953 |   fn app(& self, Id, Vec<Term>) -> Term ;
[INFO] [stdout]     |                  ^^ help: try naming the parameter or explicitly ignoring it: `_: Id`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:953:22
[INFO] [stdout]     |
[INFO] [stdout] 953 |   fn app(& self, Id, Vec<Term>) -> Term ;
[INFO] [stdout]     |                      ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<Term>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/term.rs:959:16
[INFO] [stdout]     |
[INFO] [stdout] 959 |     (self as & AppMaker<Id>).app(id.clone(), args)
[INFO] [stdout]     |                ^^^^^^^^^^^^ help: use `dyn`: `dyn AppMaker<Id>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:973:21
[INFO] [stdout]     |
[INFO] [stdout] 973 |   fn forall(& self, Vec<(Sym, Type)>, Trm) -> Term ;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<(Sym, Type)>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:973:39
[INFO] [stdout]     |
[INFO] [stdout] 973 |   fn forall(& self, Vec<(Sym, Type)>, Trm) -> Term ;
[INFO] [stdout]     |                                       ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:976:21
[INFO] [stdout]     |
[INFO] [stdout] 976 |   fn exists(& self, Vec<(Sym, Type)>, Trm) -> Term ;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<(Sym, Type)>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:976:39
[INFO] [stdout]     |
[INFO] [stdout] 976 |   fn exists(& self, Vec<(Sym, Type)>, Trm) -> Term ;
[INFO] [stdout]     |                                       ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:979:20
[INFO] [stdout]     |
[INFO] [stdout] 979 |   fn let_b(& self, Vec<(Sym, Term)>, Trm) -> Term ;
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<(Sym, Term)>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/term.rs:979:38
[INFO] [stdout]     |
[INFO] [stdout] 979 |   fn let_b(& self, Vec<(Sym, Term)>, Trm) -> Term ;
[INFO] [stdout]     |                                      ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/tmp.rs:195:27
[INFO] [stdout]     |
[INFO] [stdout] 195 |     & self, writer: & mut ::std::io::Write, offset: & Offset2,
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn (::std::io::Write)`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/tmp.rs:228:28
[INFO] [stdout]     |
[INFO] [stdout] 228 |           Sym(ref s, _) => try!( write!(fmt, "{}{}", sep, s) ),
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/tmp.rs:229:27
[INFO] [stdout]     |
[INFO] [stdout] 229 |           Trm(ref trm) => try!( write!(fmt, "{}{}", sep, trm) ),
[INFO] [stdout]     |                           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/tmp.rs:231:13
[INFO] [stdout]     |
[INFO] [stdout] 231 |             try!( write!(fmt, "{}({}", sep, op) ) ;
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/tmp.rs:240:9
[INFO] [stdout]     |
[INFO] [stdout] 240 |         try!( write!(fmt, "{}", end) )
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/tmp.rs:252:5
[INFO] [stdout]     |
[INFO] [stdout] 252 |     try!(
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/tmp.rs:249:27
[INFO] [stdout]     |
[INFO] [stdout] 249 |     & self, writer: & mut ::std::io::Write, offset: & Offset2
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn (::std::io::Write)`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/tmp.rs:289:25
[INFO] [stdout]     |
[INFO] [stdout] 289 |   fn under_actlit(self, String) -> TmpTerm ;
[INFO] [stdout]     |                         ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: String`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/parser/mod.rs:170:41
[INFO] [stdout]     |
[INFO] [stdout] 170 |   fn expr_to_smt2(& self, writer: & mut Write, info: & Info) -> Res<()> {
[INFO] [stdout]     |                                         ^^^^^ help: use `dyn`: `dyn Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/parser/mod.rs:175:41
[INFO] [stdout]     |
[INFO] [stdout] 175 |   fn sort_to_smt2(& self, writer: & mut Write) -> Res<()> {
[INFO] [stdout]     |                                         ^^^^^ help: use `dyn`: `dyn Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/parser/mod.rs:180:40
[INFO] [stdout]     |
[INFO] [stdout] 180 |   fn sym_to_smt2(& self, writer: & mut Write, info: & Info) -> Res<()> {
[INFO] [stdout]     |                                        ^^^^^ help: use `dyn`: `dyn Write`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Extend` is imported redundantly
[INFO] [stdout]    --> term/src/parser/vmt.rs:107:9
[INFO] [stdout]     |
[INFO] [stdout] 107 |     use std::iter::Extend ;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Extend` is imported redundantly
[INFO] [stdout]    --> term/src/parser/vmt.rs:242:9
[INFO] [stdout]     |
[INFO] [stdout] 242 |     use std::iter::Extend ;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `VarMaker` is imported redundantly
[INFO] [stdout]    --> term/src/parser/vmt.rs:363:7
[INFO] [stdout]     |
[INFO] [stdout] 22  | use var::{ VarMaker, Var } ;
[INFO] [stdout]     |            -------- the item `VarMaker` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 363 |   use var::VarMaker ;
[INFO] [stdout]     |       ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/parser/smt2.rs:35:13
[INFO] [stdout]    |
[INFO] [stdout] 35 |   >(& self, F) -> Res<Self> ;
[INFO] [stdout]    |             ^ help: try naming the parameter or explicitly ignoring it: `_: F`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> term/src/parser/smt2.rs:54:18
[INFO] [stdout]    |
[INFO] [stdout] 54 |   fn merge(self, Term) -> Out ;
[INFO] [stdout]    |                  ^^^^ help: try naming the parameter or explicitly ignoring it: `_: Term`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]   --> term/src/factory.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / macro_rules! try_parse {
[INFO] [stdout] 36 | |   ($fun:expr, $arg: expr, $res:pat => $b:block) => (
[INFO] [stdout] 37 | |     match $fun($arg) {
[INFO] [stdout] 38 | |       ::nom::IResult::Done(i,$res) => {
[INFO] [stdout] ...  |
[INFO] [stdout] 45 | |   ) ;
[INFO] [stdout] 46 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/factory.rs:190:9
[INFO] [stdout]     |
[INFO] [stdout] 190 |         try!( self.set_type_unsafe(sym.clone(), var.clone(), typ) ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/factory.rs:191:25
[INFO] [stdout]     |
[INFO] [stdout] 191 |         let var: Term = try!(
[INFO] [stdout]     |                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/factory.rs:643:19
[INFO] [stdout]     |
[INFO] [stdout] 643 |   fn bump(& self, Trm) -> Res<Term> ;
[INFO] [stdout]     |                   ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> term/src/factory.rs:648:21
[INFO] [stdout]     |
[INFO] [stdout] 648 |   fn debump(& self, Trm) -> Res<Term> ;
[INFO] [stdout]     |                     ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/gen.rs:190:9
[INFO] [stdout]     |
[INFO] [stdout] 190 |         try!( write!(fmt, "Op({})( {}, {}, (", d, op, t) ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> term/src/gen.rs:192:11
[INFO] [stdout]     |
[INFO] [stdout] 192 |           try!( write!(fmt, " {},", t) )
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/lib.rs:255:29
[INFO] [stdout]     |
[INFO] [stdout] 255 |       & self, writer: & mut ::std::io::Write, _: & ::Offset
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn (::std::io::Write)`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/lib.rs:270:29
[INFO] [stdout]     |
[INFO] [stdout] 270 |       & self, writer: & mut ::std::io::Write, _: & ::Offset2
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn (::std::io::Write)`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/lib.rs:285:29
[INFO] [stdout]     |
[INFO] [stdout] 285 |       & self, writer: & mut ::std::io::Write, info: & ::Offset
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn (::std::io::Write)`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/lib.rs:301:29
[INFO] [stdout]     |
[INFO] [stdout] 301 |       & self, writer: & mut ::std::io::Write, info: & ::Offset2
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn (::std::io::Write)`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/lib.rs:317:29
[INFO] [stdout]     |
[INFO] [stdout] 317 |       & self, writer: & mut ::std::io::Write, offset: & ::Offset2
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn (::std::io::Write)`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> term/src/lib.rs:330:29
[INFO] [stdout]     |
[INFO] [stdout] 330 |       & self, writer: & mut ::std::io::Write
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn (::std::io::Write)`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> term/src/base.rs:64:3
[INFO] [stdout]    |
[INFO] [stdout] 64 |   #[inline(always)]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> term/src/sym.rs:66:3
[INFO] [stdout]    |
[INFO] [stdout] 66 |   #[inline(always)]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/cst.rs:152:3
[INFO] [stdout]     |
[INFO] [stdout] 152 |   #[inline(always)]
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/var.rs:110:3
[INFO] [stdout]     |
[INFO] [stdout] 110 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/var.rs:113:3
[INFO] [stdout]     |
[INFO] [stdout] 113 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/term.rs:908:3
[INFO] [stdout]     |
[INFO] [stdout] 908 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/term.rs:920:3
[INFO] [stdout]     |
[INFO] [stdout] 920 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/term.rs:939:3
[INFO] [stdout]     |
[INFO] [stdout] 939 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/term.rs:952:3
[INFO] [stdout]     |
[INFO] [stdout] 952 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/term.rs:972:3
[INFO] [stdout]     |
[INFO] [stdout] 972 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/term.rs:975:3
[INFO] [stdout]     |
[INFO] [stdout] 975 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/term.rs:978:3
[INFO] [stdout]     |
[INFO] [stdout] 978 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/tmp.rs:288:3
[INFO] [stdout]     |
[INFO] [stdout] 288 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> term/src/tmp.rs:291:3
[INFO] [stdout]     |
[INFO] [stdout] 291 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling system v0.1.0 (/opt/rustwide/workdir/system)
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]   --> system/src/lib.rs:47:1
[INFO] [stdout]    |
[INFO] [stdout] 47 | #[macro_use]
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/base.rs:137:7
[INFO] [stdout]     |
[INFO] [stdout] 137 |       try!( write!(fmt, "{}", t) ) ;
[INFO] [stdout]     |       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/base.rs:139:9
[INFO] [stdout]     |
[INFO] [stdout] 139 |         try!( write!(fmt, " {}", t) )
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/base.rs:176:7
[INFO] [stdout]     |
[INFO] [stdout] 176 |       try!( write!(fmt, "({} {})", s, t) ) ;
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/base.rs:178:9
[INFO] [stdout]     |
[INFO] [stdout] 178 |         try!( write!(fmt, " ({} {})", s, t) )
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]    --> system/src/parse/check.rs:139:1
[INFO] [stdout]     |
[INFO] [stdout] 139 | / macro_rules! check_sym {
[INFO] [stdout] 140 | |   ($ctxt:expr, $sym:expr, $desc:expr) => (
[INFO] [stdout] 141 | |     match $ctxt.sym_unused(& $sym) {
[INFO] [stdout] 142 | |       None => (),
[INFO] [stdout] ...   |
[INFO] [stdout] 147 | |   )
[INFO] [stdout] 148 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_macros)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]    --> system/src/parse/check.rs:166:1
[INFO] [stdout]     |
[INFO] [stdout] 166 | / macro_rules! type_check {
[INFO] [stdout] 167 | |   (
[INFO] [stdout] 168 | |     $ctxt:expr, $term:expr, $ty:expr,
[INFO] [stdout] 169 | |     state: $state:expr, $desc:expr, $( $fmt:tt )+
[INFO] [stdout] ...   |
[INFO] [stdout] 203 | |   ) ;
[INFO] [stdout] 204 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:376:3
[INFO] [stdout]     |
[INFO] [stdout] 376 |   try!(
[INFO] [stdout]     |   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:552:3
[INFO] [stdout]     |
[INFO] [stdout] 552 |   try!{
[INFO] [stdout]     |   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:638:3
[INFO] [stdout]     |
[INFO] [stdout] 638 |   try!{
[INFO] [stdout]     |   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:721:16
[INFO] [stdout]     |
[INFO] [stdout] 721 |     let term = try!(
[INFO] [stdout]     |                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:730:5
[INFO] [stdout]     |
[INFO] [stdout] 730 |     try!{
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:752:14
[INFO] [stdout]     |
[INFO] [stdout] 752 |   let init = try!(
[INFO] [stdout]     |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:760:3
[INFO] [stdout]     |
[INFO] [stdout] 760 |   try!{ maybe_ok }
[INFO] [stdout]     |   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:771:15
[INFO] [stdout]     |
[INFO] [stdout] 771 |   let trans = try!(
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:779:3
[INFO] [stdout]     |
[INFO] [stdout] 779 |   try!{ maybe_ok }
[INFO] [stdout]     |   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/check.rs:806:18
[INFO] [stdout]     |
[INFO] [stdout] 806 |       let term = try!(
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Extend` is imported redundantly
[INFO] [stdout]    --> system/src/parse/check.rs:711:20
[INFO] [stdout]     |
[INFO] [stdout] 711 |   use std::iter::{ Extend, FromIterator } ;
[INFO] [stdout]     |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:191:5
[INFO] [stdout]     |
[INFO] [stdout] 191 |     try!( write!(fmt, "(cex\n  ( ") ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:193:7
[INFO] [stdout]     |
[INFO] [stdout] 193 |       try!( write!(fmt, "{} ", prop) )
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:195:5
[INFO] [stdout]     |
[INFO] [stdout] 195 |     try!( write!(fmt, ")\n") ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:199:7
[INFO] [stdout]     |
[INFO] [stdout] 199 |       try!( write!(fmt, "  () ; no function symbols\n") )
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:201:7
[INFO] [stdout]     |
[INFO] [stdout] 201 |       try!( write!(fmt, "  ( ; function symbols:") ) ;
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:203:9
[INFO] [stdout]     |
[INFO] [stdout] 203 |         try!(
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:209:7
[INFO] [stdout]     |
[INFO] [stdout] 209 |       try!( write!(fmt, "\n  )\n") ) ;
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:215:7
[INFO] [stdout]     |
[INFO] [stdout] 215 |       try!( write!(fmt, "  ; state {}:\n  (and\n", off) ) ;
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:217:9
[INFO] [stdout]     |
[INFO] [stdout] 217 |         try!( write!(fmt, "    (= {} {})\n", sym, cst) )
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> system/src/parse/mod.rs:219:7
[INFO] [stdout]     |
[INFO] [stdout] 219 |       try!( write!(fmt, "  )\n") ) ;
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Extend` is imported redundantly
[INFO] [stdout]    --> system/src/parse/mod.rs:598:13
[INFO] [stdout]     |
[INFO] [stdout] 598 |         use std::iter::Extend ;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> system/src/parse/mod.rs:674:31
[INFO] [stdout]     |
[INFO] [stdout] 674 |     & mut self, reader: & mut io::Read
[INFO] [stdout]     |                               ^^^^^^^^ help: use `dyn`: `dyn io::Read`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2021 edition!
[INFO] [stdout]     = note: for more information, see issue #80165 <https://github.com/rust-lang/rust/issues/80165>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> system/src/parse/mod.rs:835:9
[INFO] [stdout]     |
[INFO] [stdout] 835 |         println!("added callable {} but symbol is already used", sym)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_fmt_panic)]` on by default
[INFO] [stdout]     = note: this is no longer accepted in Rust 2021
[INFO] [stdout] help: add a "{}" format string to Display the message
[INFO] [stdout]     |
[INFO] [stdout] 835 |         "{}", println!("added callable {} but symbol is already used", sym)
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] help: or use std::panic::panic_any instead
[INFO] [stdout]     |
[INFO] [stdout] 834 |       false => std::panic::panic_any(
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> system/src/parse/mod.rs:852:9
[INFO] [stdout]     |
[INFO] [stdout] 852 |         println!("added prop {} but symbol is already used", sym)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is no longer accepted in Rust 2021
[INFO] [stdout] help: add a "{}" format string to Display the message
[INFO] [stdout]     |
[INFO] [stdout] 852 |         "{}", println!("added prop {} but symbol is already used", sym)
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] help: or use std::panic::panic_any instead
[INFO] [stdout]     |
[INFO] [stdout] 851 |       false => std::panic::panic_any(
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> system/src/parse/mod.rs:869:9
[INFO] [stdout]     |
[INFO] [stdout] 869 |         println!("added system {} but symbol is already used", sym)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is no longer accepted in Rust 2021
[INFO] [stdout] help: add a "{}" format string to Display the message
[INFO] [stdout]     |
[INFO] [stdout] 869 |         "{}", println!("added system {} but symbol is already used", sym)
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] help: or use std::panic::panic_any instead
[INFO] [stdout]     |
[INFO] [stdout] 868 |       false => std::panic::panic_any(
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 140 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling common v0.1.0 (/opt/rustwide/workdir/common)
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> common/src/msg.rs:228:9
[INFO] [stdout]     |
[INFO] [stdout] 228 |         try!(
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> common/src/msg.rs:241:11
[INFO] [stdout]     |
[INFO] [stdout] 241 |           try!( write!(fmt, " {}", inv) )
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> common/src/msg.rs:248:9
[INFO] [stdout]     |
[INFO] [stdout] 248 |         try!(
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> common/src/msg.rs:261:11
[INFO] [stdout]     |
[INFO] [stdout] 261 |           try!( write!(fmt, " {}", inv) )
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> common/src/log.rs:84:19
[INFO] [stdout]    |
[INFO] [stdout] 84 |   fn emph(& self, & str) -> String ;
[INFO] [stdout]    |                   ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(anonymous_parameters)]` on by default
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> common/src/log.rs:87:20
[INFO] [stdout]    |
[INFO] [stdout] 87 |   fn happy(& self, & str) -> String ;
[INFO] [stdout]    |                    ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> common/src/log.rs:90:18
[INFO] [stdout]    |
[INFO] [stdout] 90 |   fn sad(& self, & str) -> String ;
[INFO] [stdout]    |                  ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> common/src/log.rs:93:18
[INFO] [stdout]    |
[INFO] [stdout] 93 |   fn bad(& self, & str) -> String ;
[INFO] [stdout]    |                  ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> common/src/conf.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |   fn of(& str) -> Result<Self, String> ;
[INFO] [stdout]    |         ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> common/src/conf.rs:161:22
[INFO] [stdout]     |
[INFO] [stdout] 161 |   fn set(& mut self, & str, & str) -> Result<(), String> ;
[INFO] [stdout]     |                      ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> common/src/conf.rs:161:29
[INFO] [stdout]     |
[INFO] [stdout] 161 |   fn set(& mut self, & str, & str) -> Result<(), String> ;
[INFO] [stdout]     |                             ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]    --> common/src/conf.rs:524:1
[INFO] [stdout]     |
[INFO] [stdout] 524 | / macro_rules! extend {
[INFO] [stdout] 525 | |   ($vec:ident with $conf:ident) => (
[INFO] [stdout] 526 | |     match $conf {
[INFO] [stdout] 527 | |       Some(conf) => $vec.extend( conf::lines() ),
[INFO] [stdout] ...   |
[INFO] [stdout] 530 | |   )
[INFO] [stdout] 531 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_macros)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> common/src/lib.rs:351:18
[INFO] [stdout]     |
[INFO] [stdout] 351 |   fn run(& self, Arc<Conf>, Sys, Vec<Prop>, msg::Event) ;
[INFO] [stdout]     |                  ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Arc<Conf>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> common/src/lib.rs:351:29
[INFO] [stdout]     |
[INFO] [stdout] 351 |   fn run(& self, Arc<Conf>, Sys, Vec<Prop>, msg::Event) ;
[INFO] [stdout]     |                             ^^^ help: try naming the parameter or explicitly ignoring it: `_: Sys`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> common/src/lib.rs:351:34
[INFO] [stdout]     |
[INFO] [stdout] 351 |   fn run(& self, Arc<Conf>, Sys, Vec<Prop>, msg::Event) ;
[INFO] [stdout]     |                                  ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<Prop>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> common/src/lib.rs:351:45
[INFO] [stdout]     |
[INFO] [stdout] 351 |   fn run(& self, Arc<Conf>, Sys, Vec<Prop>, msg::Event) ;
[INFO] [stdout]     |                                             ^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: msg::Event`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> common/src/log.rs:28:3
[INFO] [stdout]    |
[INFO] [stdout] 28 |   #[inline(always)]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> common/src/log.rs:31:3
[INFO] [stdout]    |
[INFO] [stdout] 31 |   #[inline(always)]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> common/src/log.rs:34:3
[INFO] [stdout]    |
[INFO] [stdout] 34 |   #[inline(always)]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> common/src/log.rs:37:3
[INFO] [stdout]    |
[INFO] [stdout] 37 |   #[inline(always)]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> common/src/log.rs:83:3
[INFO] [stdout]    |
[INFO] [stdout] 83 |   #[inline]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> common/src/log.rs:86:3
[INFO] [stdout]    |
[INFO] [stdout] 86 |   #[inline]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> common/src/log.rs:89:3
[INFO] [stdout]    |
[INFO] [stdout] 89 |   #[inline]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> common/src/log.rs:92:3
[INFO] [stdout]    |
[INFO] [stdout] 92 |   #[inline]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling unroll v0.1.0 (/opt/rustwide/workdir/unroll)
[INFO] [stdout] warning: 33 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]   --> unroll/src/lib.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | #[macro_use]
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> unroll/src/lib.rs:97:3
[INFO] [stdout]    |
[INFO] [stdout] 97 |   try!(
[INFO] [stdout]    |   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:166:5
[INFO] [stdout]     |
[INFO] [stdout] 166 |     try!(
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:197:5
[INFO] [stdout]     |
[INFO] [stdout] 197 |     try!(
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:260:11
[INFO] [stdout]     |
[INFO] [stdout] 260 |           try!(
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:281:13
[INFO] [stdout]     |
[INFO] [stdout] 281 |             try!(
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:317:11
[INFO] [stdout]     |
[INFO] [stdout] 317 |           try!(
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:341:5
[INFO] [stdout]     |
[INFO] [stdout] 341 |     try!(
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:351:7
[INFO] [stdout]     |
[INFO] [stdout] 351 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:360:7
[INFO] [stdout]     |
[INFO] [stdout] 360 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:372:7
[INFO] [stdout]     |
[INFO] [stdout] 372 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:384:5
[INFO] [stdout]     |
[INFO] [stdout] 384 |     try!(
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:394:7
[INFO] [stdout]     |
[INFO] [stdout] 394 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:411:7
[INFO] [stdout]     |
[INFO] [stdout] 411 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:427:9
[INFO] [stdout]     |
[INFO] [stdout] 427 |         try!(
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:443:5
[INFO] [stdout]     |
[INFO] [stdout] 443 |     try!(
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:458:5
[INFO] [stdout]     |
[INFO] [stdout] 458 |     try!(
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:476:5
[INFO] [stdout]     |
[INFO] [stdout] 476 |     try!( self.just_unroll(o) ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:478:7
[INFO] [stdout]     |
[INFO] [stdout] 478 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:506:5
[INFO] [stdout]     |
[INFO] [stdout] 506 |     try!( self.just_unroll(o) ) ;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:510:11
[INFO] [stdout]     |
[INFO] [stdout] 510 |           try!(
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:522:7
[INFO] [stdout]     |
[INFO] [stdout] 522 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:544:5
[INFO] [stdout]     |
[INFO] [stdout] 544 |     try!(
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:552:7
[INFO] [stdout]     |
[INFO] [stdout] 552 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Extend` is imported redundantly
[INFO] [stdout]    --> unroll/src/lib.rs:568:9
[INFO] [stdout]     |
[INFO] [stdout] 568 |     use std::iter::Extend ;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:595:11
[INFO] [stdout]     |
[INFO] [stdout] 595 |           try!(
[INFO] [stdout]     |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:608:9
[INFO] [stdout]     |
[INFO] [stdout] 608 |         try!(
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:656:18
[INFO] [stdout]     |
[INFO] [stdout] 656 |     let values = try!(
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:804:7
[INFO] [stdout]     |
[INFO] [stdout] 804 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:858:7
[INFO] [stdout]     |
[INFO] [stdout] 858 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:911:7
[INFO] [stdout]     |
[INFO] [stdout] 911 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:941:7
[INFO] [stdout]     |
[INFO] [stdout] 941 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> unroll/src/lib.rs:960:7
[INFO] [stdout]     |
[INFO] [stdout] 960 |       try!(
[INFO] [stdout]     |       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> unroll/src/lib.rs:1053:18
[INFO] [stdout]      |
[INFO] [stdout] 1053 |     let values = try!(
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> unroll/src/lib.rs:1145:15
[INFO] [stdout]      |
[INFO] [stdout] 1145 |     let vec = try!(
[INFO] [stdout]      |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 24 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling kind v0.1.0 (/opt/rustwide/workdir/kind)
[INFO] [stderr]    Compiling tig v0.1.0 (/opt/rustwide/workdir/tig)
[INFO] [stderr]    Compiling pruner v0.1.0 (/opt/rustwide/workdir/pruner)
[INFO] [stderr]    Compiling twind v0.1.0 (/opt/rustwide/workdir/twind)
[INFO] [stderr]    Compiling bmc v0.1.0 (/opt/rustwide/workdir/bmc)
[INFO] [stdout] warning: 35 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused label
[INFO] [stdout]    --> bmc/src/lib.rs:106:3
[INFO] [stdout]     |
[INFO] [stdout] 106 |   'unroll: loop {
[INFO] [stdout]     |   ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_labels)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused label
[INFO] [stdout]    --> twind/src/lib.rs:346:5
[INFO] [stdout]     |
[INFO] [stdout] 346 |     'new_stuff: while ! new_stuff {
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_labels)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/eval.rs:151:27
[INFO] [stdout]     |
[INFO] [stdout] 151 |                 let value = try_chain!(
[INFO] [stdout]     |  ___________________________^
[INFO] [stdout] 152 | |                 self.factory.eval(
[INFO] [stdout] 153 | |                   trm, & self.offset, & self.model,
[INFO] [stdout] 154 | |                   self.sys.sym().get().clone()
[INFO] [stdout] 155 | |                 ) => "could not evaluate term {}", trm
[INFO] [stdout] 156 | |               ) ;
[INFO] [stdout]     | |_______________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `STerm` is imported redundantly
[INFO] [stdout]    --> tig/src/mine.rs:109:66
[INFO] [stdout]     |
[INFO] [stdout] 15  |   Factory, Term, STerm, TermSet, STermSet, Type, Sym, Cst
[INFO] [stdout]     |                  ----- the item `STerm` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 109 |       VarMaker, CstMaker, Int, Rat, Zero, One, UnTermOps, State, STerm
[INFO] [stdout]     |                                                                  ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/mine.rs:326:26
[INFO] [stdout]     |
[INFO] [stdout] 326 |             add.clone(), try!( factory.bump(add) )
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/mine.rs:331:26
[INFO] [stdout]     |
[INFO] [stdout] 331 |             sub.clone(), try!( factory.bump(sub) )
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/mine.rs:349:28
[INFO] [stdout]     |
[INFO] [stdout] 349 |               add.clone(), try!( factory.bump(add) )
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/mine.rs:354:28
[INFO] [stdout]     |
[INFO] [stdout] 354 |               sub.clone(), try!( factory.bump(sub) )
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> tig/src/chain.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     try!( write!(fmt, "[") ) ;
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> tig/src/chain.rs:42:11
[INFO] [stdout]    |
[INFO] [stdout] 42 |           try!( write!(fmt, " {}<{}>", trm, val) )
[INFO] [stdout]    |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]   --> pruner/src/lib.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | #[macro_use]
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> pruner/src/lib.rs:134:18
[INFO] [stdout]     |
[INFO] [stdout] 134 |     let mut invs = try_chain!(
[INFO] [stdout]     |  __________________^
[INFO] [stdout] 135 | |     InvManager::mk( invars, unroller.solver() )
[INFO] [stdout] 136 | |     => "while creating invariant manager"
[INFO] [stdout] 137 | |   ) ;
[INFO] [stdout]     | |___^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> pruner/src/lib.rs:142:18
[INFO] [stdout]     |
[INFO] [stdout] 142 |       let actlit = try_chain!(
[INFO] [stdout]     |  __________________^
[INFO] [stdout] 143 | |       unroller.fresh_actlit()
[INFO] [stdout] 144 | |       => "while declaring activation literal at {}", k
[INFO] [stdout] 145 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> pruner/src/lib.rs:148:5
[INFO] [stdout]     |
[INFO] [stdout] 148 | /     try_chain!(
[INFO] [stdout] 149 | |       unroller.assert(& implication, & k)
[INFO] [stdout] 150 | |       => "while asserting property falsification"
[INFO] [stdout] 151 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> pruner/src/lib.rs:158:18
[INFO] [stdout]     |
[INFO] [stdout] 158 |       let is_sat = try_chain!(
[INFO] [stdout]     |  __________________^
[INFO] [stdout] 159 | |       unroller.check_sat_assuming( & actlits )
[INFO] [stdout] 160 | |       => "during a `check_sat_assuming` query at {}", k
[INFO] [stdout] 161 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> pruner/src/lib.rs:165:23
[INFO] [stdout]     |
[INFO] [stdout] 165 |         let falsified = try_chain!(
[INFO] [stdout]     |  _______________________^
[INFO] [stdout] 166 | |         invs.get_false_next(unroller.solver(), & k)
[INFO] [stdout] 167 | |         => "could not retrieve falsified properties"
[INFO] [stdout] 168 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> pruner/src/lib.rs:172:7
[INFO] [stdout]     |
[INFO] [stdout] 172 | /       try_chain!(
[INFO] [stdout] 173 | |         unroller.deactivate(actlit)
[INFO] [stdout] 174 | |         => "while deactivating negative actlit"
[INFO] [stdout] 175 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> pruner/src/lib.rs:176:7
[INFO] [stdout]     |
[INFO] [stdout] 176 | /       try_chain!(
[INFO] [stdout] 177 | |         invs.forget(unroller.solver(), falsified.iter())
[INFO] [stdout] 178 | |         => "while forgetting {} falsified properties", falsified.len()
[INFO] [stdout] 179 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused label
[INFO] [stdout]    --> pruner/src/lib.rs:139:3
[INFO] [stdout]     |
[INFO] [stdout] 139 |   'split: while let Some(one_inv_false) = invs.one_false_next() {
[INFO] [stdout]     |   ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_labels)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> tig/src/graph.rs:74:24
[INFO] [stdout]    |
[INFO] [stdout] 74 |   fn split(& mut self, & mut Eval< Self::Val >) -> Res<()> ;
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut Eval< Self::Val >`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(anonymous_parameters)]` on by default
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> tig/src/graph.rs:80:21
[INFO] [stdout]    |
[INFO] [stdout] 80 |   fn log_to(& self, & str) -> Res<()> ;
[INFO] [stdout]    |                     ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:159:7
[INFO] [stdout]     |
[INFO] [stdout] 159 | /       try_chain!(
[INFO] [stdout] 160 | |         self.mut_class_of(rep)
[INFO] [stdout] 161 | |         => "[HasClasses::drop_term] while dropping term `{}` from `{}`",
[INFO] [stdout] 162 | |           trm, rep
[INFO] [stdout] 163 | |       ).remove(trm)
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:173:17
[INFO] [stdout]     |
[INFO] [stdout] 173 |       let class = try_chain!(
[INFO] [stdout]     |  _________________^
[INFO] [stdout] 174 | |       self.class_of(rep)
[INFO] [stdout] 175 | |       => "[HasClasses::base_cands_of_class] while retrieving class of `{}`",
[INFO] [stdout] 176 | |         rep
[INFO] [stdout] 177 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:205:21
[INFO] [stdout]     |
[INFO] [stdout] 205 |       let rep_class = try_chain!(
[INFO] [stdout]     |  _____________________^
[INFO] [stdout] 206 | |       self.class_of(rep)
[INFO] [stdout] 207 | |       => "[HasClasses::step_cands_of_class] while retrieving class of `{}`",
[INFO] [stdout] 208 | |         rep
[INFO] [stdout] 209 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:359:19
[INFO] [stdout]     |
[INFO] [stdout] 359 |       let parents = try_chain!(
[INFO] [stdout]     |  ___________________^
[INFO] [stdout] 360 | |       self.parents_of(rep)
[INFO] [stdout] 361 | |       => "[HasEdges::base_cands_of_edges] while retrieving parents of `{}`",
[INFO] [stdout] 362 | |         rep
[INFO] [stdout] 363 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:401:23
[INFO] [stdout]     |
[INFO] [stdout] 401 |       let rep_parents = try_chain!(
[INFO] [stdout]     |  _______________________^
[INFO] [stdout] 402 | |       self.parents_of(rep)
[INFO] [stdout] 403 | |       => "{} while retrieving parents of `{}`", err_pref, rep
[INFO] [stdout] 404 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:405:21
[INFO] [stdout]     |
[INFO] [stdout] 405 |       let rep_class = try_chain!(
[INFO] [stdout]     |  _____________________^
[INFO] [stdout] 406 | |       self.class_of(rep)
[INFO] [stdout] 407 | |       => "{} while retrieving class of `{}`", err_pref, rep
[INFO] [stdout] 408 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:432:26
[INFO] [stdout]     |
[INFO] [stdout] 432 |         let parent_class = try_chain!(
[INFO] [stdout]     |  __________________________^
[INFO] [stdout] 433 | |         self.class_of(parent)
[INFO] [stdout] 434 | |         => "{} while retrieving class of `{}`, parent of `{}`",
[INFO] [stdout] 435 | |           err_pref, parent, rep
[INFO] [stdout] 436 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:471:32
[INFO] [stdout]     |
[INFO] [stdout] 471 |         new_stuff = new_stuff || try_chain!(
[INFO] [stdout]     |  ________________________________^
[INFO] [stdout] 472 | |         self.step_cands_of_class(rep, candidates, known)
[INFO] [stdout] 473 | |         => "{} during extraction of class candidates for rep `{}`",
[INFO] [stdout] 474 | |           err_pref, rep
[INFO] [stdout] 475 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:476:32
[INFO] [stdout]     |
[INFO] [stdout] 476 |         new_stuff = new_stuff || try_chain!(
[INFO] [stdout]     |  ________________________________^
[INFO] [stdout] 477 | |         self.step_cands_of_edges(rep, candidates, known)
[INFO] [stdout] 478 | |         => "{} during extraction of edge candidates for rep `{}`",
[INFO] [stdout] 479 | |           err_pref, rep
[INFO] [stdout] 480 | |       )
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:604:13
[INFO] [stdout]     |
[INFO] [stdout] 604 | /             try_chain!(
[INFO] [stdout] 605 | |               base.add_invs(invs.clone())
[INFO] [stdout] 606 | |               => "{} while adding invariants from supervisor to base at {}",
[INFO] [stdout] 607 | |                 err_pref, base.unroll_len()
[INFO] [stdout] 608 | |             ) ;
[INFO] [stdout]     | |_______________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:609:13
[INFO] [stdout]     |
[INFO] [stdout] 609 | /             try_chain!(
[INFO] [stdout] 610 | |               step.add_invs(invs)
[INFO] [stdout] 611 | |               => "{} while adding invariants from supervisor to step at {}",
[INFO] [stdout] 612 | |                 err_pref, step.unroll_len()
[INFO] [stdout] 613 | |             ) ;
[INFO] [stdout]     | |_______________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:635:5
[INFO] [stdout]     |
[INFO] [stdout] 635 | /     try_chain!(
[INFO] [stdout] 636 | |       self.recv(base, step, event)
[INFO] [stdout] 637 | |       => "{} before base stabilization", err_pref
[INFO] [stdout] 638 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:640:5
[INFO] [stdout]     |
[INFO] [stdout] 640 | /     try_chain!(
[INFO] [stdout] 641 | |       self.graph.check()
[INFO] [stdout] 642 | |       => "{} on input graph", err_pref
[INFO] [stdout] 643 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:645:18
[INFO] [stdout]     |
[INFO] [stdout] 645 |       let invars = try_chain!(
[INFO] [stdout]     |  __________________^
[INFO] [stdout] 646 | |       step.k_split(& mut self.candidates)
[INFO] [stdout] 647 | |       => "{} step query", err_pref
[INFO] [stdout] 648 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:654:11
[INFO] [stdout]     |
[INFO] [stdout] 654 | /           try_chain!(
[INFO] [stdout] 655 | |             self.graph.drop_term(& rep, & to_drop)
[INFO] [stdout] 656 | |             => "{} while dropping `{}` from the class of `{}`",
[INFO] [stdout] 657 | |               err_pref, to_drop, rep
[INFO] [stdout] 658 | |           ) ;
[INFO] [stdout]     | |_____________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:662:21
[INFO] [stdout]     |
[INFO] [stdout] 662 |           let invar = try_chain!(
[INFO] [stdout]     |  _____________________^
[INFO] [stdout] 663 | |           invar.to_term_safe(& self.factory)
[INFO] [stdout] 664 | |           => "{} while building one-state invariant", err_pref
[INFO] [stdout] 665 | |         ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:668:13
[INFO] [stdout]     |
[INFO] [stdout] 668 | /             try_chain!(
[INFO] [stdout] 669 | |               self.factory.debump(& invar)
[INFO] [stdout] 670 | |               => "{} while building one-state invariant", err_pref
[INFO] [stdout] 671 | |             ),
[INFO] [stdout]     | |_____________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:712:5
[INFO] [stdout]     |
[INFO] [stdout] 712 | /     try_chain!(
[INFO] [stdout] 713 | |       self.graph.check()
[INFO] [stdout] 714 | |       => "{} on input graph", err_pref
[INFO] [stdout] 715 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:717:5
[INFO] [stdout]     |
[INFO] [stdout] 717 | /     try_chain!(
[INFO] [stdout] 718 | |       graph_log(& self, & tag, "0")
[INFO] [stdout] 719 | |       => "{} could not dump graph as dot", err_pref
[INFO] [stdout] 720 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:730:46
[INFO] [stdout]     |
[INFO] [stdout] 730 |         let to_check = if let Some(to_check) = try_chain!(
[INFO] [stdout]     |  ______________________________________________^
[INFO] [stdout] 731 | |         self.graph.base_cands_of_class(& next, & mut self.known)
[INFO] [stdout] 732 | |         => "{} while getting eq base terms of `{}`", err_pref, next
[INFO] [stdout] 733 | |       ) {
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:739:22
[INFO] [stdout]     |
[INFO] [stdout] 739 |         let eval_opt = try_chain!(
[INFO] [stdout]     |  ______________________^
[INFO] [stdout] 740 | |         base.k_falsify(to_check)
[INFO] [stdout] 741 | |         => "{} during `k_falsify` query for eqs of `{}`", err_pref, next
[INFO] [stdout] 742 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:746:9
[INFO] [stdout]     |
[INFO] [stdout] 746 |         try!( self.graph.split(& mut eval) ) ;
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:762:5
[INFO] [stdout]     |
[INFO] [stdout] 762 | /     try_chain!(
[INFO] [stdout] 763 | |       self.recv(base, step, event)
[INFO] [stdout] 764 | |       => "{} before base stabilization", err_pref
[INFO] [stdout] 765 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:767:5
[INFO] [stdout]     |
[INFO] [stdout] 767 | /     try_chain!(
[INFO] [stdout] 768 | |       graph_log(& self, & tag, "1")
[INFO] [stdout] 769 | |       => "{} could not dump graph as dot", err_pref
[INFO] [stdout] 770 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:772:5
[INFO] [stdout]     |
[INFO] [stdout] 772 | /     try_chain!(
[INFO] [stdout] 773 | |       self.graph.check()
[INFO] [stdout] 774 | |       => "{} after eq stabilization", err_pref
[INFO] [stdout] 775 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:779:26
[INFO] [stdout]     |
[INFO] [stdout] 779 |       if self.early_eqs && try_chain!(
[INFO] [stdout]     |  __________________________^
[INFO] [stdout] 780 | |       self.graph.step_cands_of_class(
[INFO] [stdout] 781 | |         & next, & mut self.candidates, & mut self.known
[INFO] [stdout] 782 | |       )
[INFO] [stdout] 783 | |       => "{} while preparing `k_split` eq query over rep `{}`", err_pref, next
[INFO] [stdout] 784 | |     ) {
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:785:7
[INFO] [stdout]     |
[INFO] [stdout] 785 | /       try_chain!(
[INFO] [stdout] 786 | |         self.k_split(base, step, event)
[INFO] [stdout] 787 | |         => "{} during `k_split` eq query over rep `{}`", err_pref, next
[INFO] [stdout] 788 | |       )
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused label
[INFO] [stdout]    --> tig/src/graph.rs:805:7
[INFO] [stdout]     |
[INFO] [stdout] 805 |       'parent_loop: for parent in parents.iter() {
[INFO] [stdout]     |       ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_labels)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:840:25
[INFO] [stdout]     |
[INFO] [stdout] 840 |       let current = match try_chain!(
[INFO] [stdout]     |  _________________________^
[INFO] [stdout] 841 | |       self.stabilize_next_class(
[INFO] [stdout] 842 | |         |slf| slf.get_next(), base, step, event, graph_log, & tag
[INFO] [stdout] 843 | |       )
[INFO] [stdout] 844 | |       => "{} during class stabilization", err_pref
[INFO] [stdout] 845 | |     ) {
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:853:46
[INFO] [stdout]     |
[INFO] [stdout] 853 |         let to_check = if let Some(to_check) = try_chain!(
[INFO] [stdout]     |  ______________________________________________^
[INFO] [stdout] 854 | |         self.graph.base_cands_of_edges(& current, & mut self.known)
[INFO] [stdout] 855 | |         => "{} while getting cmp base terms of `{}`", err_pref, current
[INFO] [stdout] 856 | |       ) {
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:862:22
[INFO] [stdout]     |
[INFO] [stdout] 862 |         let eval_opt = try_chain!(
[INFO] [stdout]     |  ______________________^
[INFO] [stdout] 863 | |         base.k_falsify(to_check)
[INFO] [stdout] 864 | |         => "{} during `k_falsify` query for cmps of `{}`", err_pref, current
[INFO] [stdout] 865 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:868:9
[INFO] [stdout]     |
[INFO] [stdout] 868 |         try!( self.graph.split(& mut eval) )
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:876:5
[INFO] [stdout]     |
[INFO] [stdout] 876 | /     try_chain!(
[INFO] [stdout] 877 | |       graph_log(& self, & tag, "0")
[INFO] [stdout] 878 | |       => "{} could not dump graph as dot", err_pref
[INFO] [stdout] 879 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:881:5
[INFO] [stdout]     |
[INFO] [stdout] 881 | /     try_chain!(
[INFO] [stdout] 882 | |       self.graph.check()
[INFO] [stdout] 883 | |       => "{} after cmp stabilization", err_pref
[INFO] [stdout] 884 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:886:5
[INFO] [stdout]     |
[INFO] [stdout] 886 | /     try_chain!(
[INFO] [stdout] 887 | |       self.recv(base, step, event)
[INFO] [stdout] 888 | |       => "{} before edge invariant extraction", err_pref
[INFO] [stdout] 889 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:892:27
[INFO] [stdout]     |
[INFO] [stdout] 892 |       if self.early_cmps && try_chain!(
[INFO] [stdout]     |  ___________________________^
[INFO] [stdout] 893 | |       self.graph.step_cands_of_edges(
[INFO] [stdout] 894 | |         & current, & mut self.candidates, & mut self.known
[INFO] [stdout] 895 | |       )
[INFO] [stdout] 896 | |       => "{} while preparing `k_split` cmp query over rep `{}`",
[INFO] [stdout] 897 | |         err_pref, current
[INFO] [stdout] 898 | |     ) {
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:899:7
[INFO] [stdout]     |
[INFO] [stdout] 899 | /       try_chain!(
[INFO] [stdout] 900 | |         self.k_split(base, step, event)
[INFO] [stdout] 901 | |         => "{} during `k_split` cmp query over rep `{}`", err_pref, current
[INFO] [stdout] 902 | |       )
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:908:5
[INFO] [stdout]     |
[INFO] [stdout] 908 | /     try_chain!(
[INFO] [stdout] 909 | |       self.graph.check()
[INFO] [stdout] 910 | |       => "{} after cmp invariant extraction", err_pref
[INFO] [stdout] 911 | |     ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:922:32
[INFO] [stdout]     |
[INFO] [stdout] 922 |         new_stuff = new_stuff || try_chain!(
[INFO] [stdout]     |  ________________________________^
[INFO] [stdout] 923 | |         self.graph.step_cands_of_class(
[INFO] [stdout] 924 | |           rep, & mut self.candidates, & self.known
[INFO] [stdout] 925 | |         )
[INFO] [stdout] 926 | |         => "{} on the class of rep `{}`", err_pref, rep
[INFO] [stdout] 927 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:928:32
[INFO] [stdout]     |
[INFO] [stdout] 928 |         new_stuff = new_stuff || try_chain!(
[INFO] [stdout]     |  ________________________________^
[INFO] [stdout] 929 | |         self.graph.step_cands_of_edges(
[INFO] [stdout] 930 | |           rep, & mut self.candidates, & self.known
[INFO] [stdout] 931 | |         )
[INFO] [stdout] 932 | |         => "{} on the edges of rep `{}`", err_pref, rep
[INFO] [stdout] 933 | |       )
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/graph.rs:946:21
[INFO] [stdout]     |
[INFO] [stdout] 946 |       let new_stuff = try_chain!(
[INFO] [stdout]     |  _____________________^
[INFO] [stdout] 947 | |       self.step_cands()
[INFO] [stdout] 948 | |       => "{} during step term extraction", err_pref
[INFO] [stdout] 949 | |     ) ;
[INFO] [stdout]     | |_____^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1254:20
[INFO] [stdout]      |
[INFO] [stdout] 1254 |       let mut file = try_chain!(
[INFO] [stdout]      |  ____________________^
[INFO] [stdout] 1255 | |       File::create(path)
[INFO] [stdout] 1256 | |       => "{} could not create file {}", err_pref, path
[INFO] [stdout] 1257 | |     ) ;
[INFO] [stdout]      | |_____^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1258:5
[INFO] [stdout]      |
[INFO] [stdout] 1258 | /     try_chain!(
[INFO] [stdout] 1259 | |       self.dot_fmt(& mut file)
[INFO] [stdout] 1260 | |       => "{} could not dump graph as dot in file {}", err_pref, path
[INFO] [stdout] 1261 | |     ) ;
[INFO] [stdout]      | |_______^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1262:21
[INFO] [stdout]      |
[INFO] [stdout] 1262 |       let mut child = try_chain!(
[INFO] [stdout]      |  _____________________^
[INFO] [stdout] 1263 | |       Command::new("dot").arg("-Tpdf").arg("-o").arg(
[INFO] [stdout] 1264 | |         & format!("{}.pdf", path)
[INFO] [stdout] 1265 | |       ).arg(path).spawn()
[INFO] [stdout] 1266 | |       => "could not spawn `dot` command"
[INFO] [stdout] 1267 | |     ) ;
[INFO] [stdout]      | |_____^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1268:17
[INFO] [stdout]      |
[INFO] [stdout] 1268 |       let ecode = try_chain!(
[INFO] [stdout]      |  _________________^
[INFO] [stdout] 1269 | |       child.wait()
[INFO] [stdout] 1270 | |       => "while running `dot` command"
[INFO] [stdout] 1271 | |     ) ;
[INFO] [stdout]      | |_____^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1280:22
[INFO] [stdout]      |
[INFO] [stdout] 1280 |             let line = try_chain!(
[INFO] [stdout]      |  ______________________^
[INFO] [stdout] 1281 | |             line
[INFO] [stdout] 1282 | |             => "{}\n[< {} could not retrieve line of stdout >]", err, err_pref
[INFO] [stdout] 1283 | |           ) ;
[INFO] [stdout]      | |___________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1301:5
[INFO] [stdout]      |
[INFO] [stdout] 1301 | /     try_chain!(
[INFO] [stdout] 1302 | |       write!(
[INFO] [stdout] 1303 | |         w,
[INFO] [stdout] 1304 | |         "\
[INFO] [stdout] ...    |
[INFO] [stdout] 1317 | |       ) => "{} while writing edge header", err_pref
[INFO] [stdout] 1318 | |     ) ;
[INFO] [stdout]      | |_______^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1343:9
[INFO] [stdout]      |
[INFO] [stdout] 1343 | /         try_chain!(
[INFO] [stdout] 1344 | |           write!(
[INFO] [stdout] 1345 | |             w,
[INFO] [stdout] 1346 | |             "  \
[INFO] [stdout] ...    |
[INFO] [stdout] 1351 | |           ) => "{} while writing forward edge", err_pref
[INFO] [stdout] 1352 | |         )
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1379:9
[INFO] [stdout]      |
[INFO] [stdout] 1379 | /         try_chain!(
[INFO] [stdout] 1380 | |           write!(
[INFO] [stdout] 1381 | |             w,
[INFO] [stdout] 1382 | |             "  \
[INFO] [stdout] ...    |
[INFO] [stdout] 1387 | |           ) => "{} while writing backward edge", err_pref
[INFO] [stdout] 1388 | |         )
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1391:5
[INFO] [stdout]      |
[INFO] [stdout] 1391 | /     try_chain!(
[INFO] [stdout] 1392 | |       write!(
[INFO] [stdout] 1393 | |         w,
[INFO] [stdout] 1394 | |         "  \
[INFO] [stdout] ...    |
[INFO] [stdout] 1405 | |       ) => "{} while writing class header", err_pref
[INFO] [stdout] 1406 | |     ) ;
[INFO] [stdout]      | |_______^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1414:7
[INFO] [stdout]      |
[INFO] [stdout] 1414 | /       try_chain!(
[INFO] [stdout] 1415 | |         write!(
[INFO] [stdout] 1416 | |           w,
[INFO] [stdout] 1417 | |           "  \
[INFO] [stdout] ...    |
[INFO] [stdout] 1421 | |         ) => "{} while writing class arrow", err_pref
[INFO] [stdout] 1422 | |       ) ;
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1429:9
[INFO] [stdout]      |
[INFO] [stdout] 1429 | /         try_chain!(
[INFO] [stdout] 1430 | |           write!(w, "{}{}", pref, term)
[INFO] [stdout] 1431 | |           => "{} while writing class arrow", err_pref
[INFO] [stdout] 1432 | |         )
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1434:7
[INFO] [stdout]      |
[INFO] [stdout] 1434 | /       try_chain!(
[INFO] [stdout] 1435 | |         write!(w, "\" ;\n")
[INFO] [stdout] 1436 | |         => "{} while writing class arrow", err_pref
[INFO] [stdout] 1437 | |       )
[INFO] [stdout]      | |_______^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1441:7
[INFO] [stdout]      |
[INFO] [stdout] 1441 | /       try_chain!(
[INFO] [stdout] 1442 | |         write!(w, "}}\n")
[INFO] [stdout] 1443 | |         => "{} during final newline", err_pref
[INFO] [stdout] 1444 | |       )
[INFO] [stdout]      | |_______^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1558:17
[INFO] [stdout]      |
[INFO] [stdout] 1558 |       let class = try_chain!(
[INFO] [stdout]      |  _________________^
[INFO] [stdout] 1559 | |       self.class_mut_of(rep)
[INFO] [stdout] 1560 | |       => "[Graph::drop_member] retrieving class of {}", rep
[INFO] [stdout] 1561 | |     ) ;
[INFO] [stdout]      | |_____^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1586:15
[INFO] [stdout]      |
[INFO] [stdout] 1586 |         chain = try_chain!(
[INFO] [stdout]      |  _______________^
[INFO] [stdout] 1587 | |         chain.insert(
[INFO] [stdout] 1588 | |           try_chain!(
[INFO] [stdout] 1589 | |             eval.eval_term(rep)
[INFO] [stdout] ...    |
[INFO] [stdout] 1593 | |         ) => "{} while inserting representative in the chain", err_pref
[INFO] [stdout] 1594 | |       ) ;
[INFO] [stdout]      | |_______^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1588:11
[INFO] [stdout]      |
[INFO] [stdout] 1588 | /           try_chain!(
[INFO] [stdout] 1589 | |             eval.eval_term(rep)
[INFO] [stdout] 1590 | |             => "{} while evaluating representative", err_pref
[INFO] [stdout] 1591 | |           ),
[INFO] [stdout]      | |___________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1597:17
[INFO] [stdout]      |
[INFO] [stdout] 1597 |           chain = try_chain!(
[INFO] [stdout]      |  _________________^
[INFO] [stdout] 1598 | |           chain.insert(
[INFO] [stdout] 1599 | |             try_chain!(
[INFO] [stdout] 1600 | |               eval.eval_term(term)
[INFO] [stdout] ...    |
[INFO] [stdout] 1604 | |           ) => "{} while inserting in chain for rep {}", err_pref, rep
[INFO] [stdout] 1605 | |         ) ;
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1599:13
[INFO] [stdout]      |
[INFO] [stdout] 1599 | /             try_chain!(
[INFO] [stdout] 1600 | |               eval.eval_term(term)
[INFO] [stdout] 1601 | |               => "{} while evaluating term for rep {}", err_pref, rep
[INFO] [stdout] 1602 | |             ),
[INFO] [stdout]      | |_____________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1632:29
[INFO] [stdout]      |
[INFO] [stdout] 1632 |       let (kids, to_update) = try_chain!(
[INFO] [stdout]      |  _____________________________^
[INFO] [stdout] 1633 | |       self.isolate(rep) => "{} while link breaking", err_pref
[INFO] [stdout] 1634 | |     ) ;
[INFO] [stdout]      | |_____^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1664:13
[INFO] [stdout]      |
[INFO] [stdout] 1664 | /             try_chain!(
[INFO] [stdout] 1665 | |               self.add_kids_ref(& parent, & kids)
[INFO] [stdout] 1666 | |               => "{} while linking on an empty chain", err_pref
[INFO] [stdout] 1667 | |             )
[INFO] [stdout]      | |_____________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1714:19
[INFO] [stdout]      |
[INFO] [stdout] 1714 | /                   try_chain!(
[INFO] [stdout] 1715 | |                     self.parents_of(& parent)
[INFO] [stdout] 1716 | |                     => "{} while retrieving parents of parent {} (1)",
[INFO] [stdout] 1717 | |                       err_pref, parent
[INFO] [stdout] 1718 | |                   ).clone()
[INFO] [stdout]      | |___________________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1728:15
[INFO] [stdout]      |
[INFO] [stdout] 1728 | /               try_chain!(
[INFO] [stdout] 1729 | |                 self.add_kids_ref(& parent, & kids)
[INFO] [stdout] 1730 | |                 => "{} while adding kids to parent {} (2)", err_pref, parent
[INFO] [stdout] 1731 | |               ) ;
[INFO] [stdout]      | |_________________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1737:19
[INFO] [stdout]      |
[INFO] [stdout] 1737 | /                   try_chain!(
[INFO] [stdout] 1738 | |                     self.parents_of(& parent)
[INFO] [stdout] 1739 | |                     => "{} while retrieving parents of parent {} (2)",
[INFO] [stdout] 1740 | |                       err_pref, parent
[INFO] [stdout] 1741 | |                   ).clone()
[INFO] [stdout]      | |___________________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1809:20
[INFO] [stdout]      |
[INFO] [stdout] 1809 |           let kids = try_chain!(
[INFO] [stdout]      |  ____________________^
[INFO] [stdout] 1810 | |           self.kids_of(& rep)
[INFO] [stdout] 1811 | |           => "{} while retrieving the kids of rep {}", err_pref, rep
[INFO] [stdout] 1812 | |         ) ;
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1814:14
[INFO] [stdout]      |
[INFO] [stdout] 1814 |             if try_chain!(
[INFO] [stdout]      |  ______________^
[INFO] [stdout] 1815 | |             self.has_valued_parents_except(kid, & rep)
[INFO] [stdout] 1816 | |             => "{} while checking if kid {} has valued parents", err_pref, kid
[INFO] [stdout] 1817 | |           ) {
[INFO] [stdout]      | |___________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1828:19
[INFO] [stdout]      |
[INFO] [stdout] 1828 |         let chain = try_chain!(
[INFO] [stdout]      |  ___________________^
[INFO] [stdout] 1829 | |         self.split_class(& rep, eval)
[INFO] [stdout] 1830 | |         => "{} while splitting rep {}", err_pref, rep
[INFO] [stdout] 1831 | |       ) ;
[INFO] [stdout]      | |_______^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> tig/src/graph.rs:1833:7
[INFO] [stdout]      |
[INFO] [stdout] 1833 | /       try_chain!(
[INFO] [stdout] 1834 | |         self.insert_chain(& rep, chain)
[INFO] [stdout] 1835 | |         => "{} while inserting chain after splitting rep {}", err_pref, rep
[INFO] [stdout] 1836 | |       ) ;
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> tig/src/lsd.rs:28:17
[INFO] [stdout]    |
[INFO] [stdout] 28 |     & mut self, Vec<TmpTerm>
[INFO] [stdout]    |                 ^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<TmpTerm>`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> tig/src/lsd.rs:40:17
[INFO] [stdout]    |
[INFO] [stdout] 40 |     & mut self, & mut TmpTermMap<Info>
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut TmpTermMap<Info>`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]   --> tig/src/lsd.rs:59:27
[INFO] [stdout]    |
[INFO] [stdout] 59 |   fn add_invs(& mut self, STermSet) -> Res<()> ;
[INFO] [stdout]    |                           ^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: STermSet`
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]    = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:100:7
[INFO] [stdout]     |
[INFO] [stdout] 100 | /       try_chain!(
[INFO] [stdout] 101 | |         unroller.solver().reset()
[INFO] [stdout] 102 | |         => "[Base] while `reset`ing the solver {}", k
[INFO] [stdout] 103 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:104:7
[INFO] [stdout]     |
[INFO] [stdout] 104 | /       try_chain!(
[INFO] [stdout] 105 | |         unroller.defclare_funs(& [])
[INFO] [stdout] 106 | |         => "[Base] while declaring UFs, init and trans"
[INFO] [stdout] 107 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:108:7
[INFO] [stdout]     |
[INFO] [stdout] 108 | /       try_chain!(
[INFO] [stdout] 109 | |         unroller.assert_init(& k)
[INFO] [stdout] 110 | |         => "[Base] while asserting init"
[INFO] [stdout] 111 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:117:9
[INFO] [stdout]     |
[INFO] [stdout] 117 | /         try_chain!(
[INFO] [stdout] 118 | |           unroller.unroll(& k)
[INFO] [stdout] 119 | |           => "[Base] while unrolling system at {}", k.next()
[INFO] [stdout] 120 | |         )
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:138:22
[INFO] [stdout]     |
[INFO] [stdout] 138 |         let unroller = try_chain!(
[INFO] [stdout]     |  ______________________^
[INFO] [stdout] 139 | |         Unroller::mk(sys, & [], solver) => "[Base] while creating unroller"
[INFO] [stdout] 140 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:164:20
[INFO] [stdout]     |
[INFO] [stdout] 164 |         let actlit = try_chain!(
[INFO] [stdout]     |  ____________________^
[INFO] [stdout] 165 | |         self.unroller.fresh_actlit()
[INFO] [stdout] 166 | |         => "while declaring activation literal at {}", self.k
[INFO] [stdout] 167 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:170:7
[INFO] [stdout]     |
[INFO] [stdout] 170 | /       try_chain!(
[INFO] [stdout] 171 | |         self.unroller.assert(& implication, & self.k)
[INFO] [stdout] 172 | |         => "[Base::k_falsify] while asserting implication at {}", self.k
[INFO] [stdout] 173 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:176:20
[INFO] [stdout]     |
[INFO] [stdout] 176 |         let is_sat = try_chain!(
[INFO] [stdout]     |  ____________________^
[INFO] [stdout] 177 | |         self.unroller.check_sat_assuming( & [ actlit.name() ] )
[INFO] [stdout] 178 | |         => "[Base::k_falsify] during a `check_sat_assuming` query at {}",
[INFO] [stdout] 179 | |           self.k
[INFO] [stdout] 180 | |       ) ;
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:184:21
[INFO] [stdout]     |
[INFO] [stdout] 184 |           let model = try_chain!(
[INFO] [stdout]     |  _____________________^
[INFO] [stdout] 185 | |           self.unroller.solver().get_model()
[INFO] [stdout] 186 | |           => "[Base::k_falsify] could not retrieve model"
[INFO] [stdout] 187 | |         ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:195:7
[INFO] [stdout]     |
[INFO] [stdout] 195 | /       try_chain!(
[INFO] [stdout] 196 | |         self.unroller.deactivate(actlit)
[INFO] [stdout] 197 | |         => "[Base::k_falsify] could not deactivate negative actlit"
[INFO] [stdout] 198 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:229:7
[INFO] [stdout]     |
[INFO] [stdout] 229 | /       try_chain!(
[INFO] [stdout] 230 | |         self.unroller.unroll(& self.k)
[INFO] [stdout] 231 | |         => "while unrolling system at {}", self.k.next()
[INFO] [stdout] 232 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:278:7
[INFO] [stdout]     |
[INFO] [stdout] 278 | /       try_chain!(
[INFO] [stdout] 279 | |         unroller.solver().reset() => "[Step] while `reset`ing the solver"
[INFO] [stdout] 280 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:281:7
[INFO] [stdout]     |
[INFO] [stdout] 281 | /       try_chain!(
[INFO] [stdout] 282 | |         unroller.defclare_funs(& [])
[INFO] [stdout] 283 | |         => "[Step] while declaring UFs, init and trans"
[INFO] [stdout] 284 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:285:7
[INFO] [stdout]     |
[INFO] [stdout] 285 | /       try_chain!(
[INFO] [stdout] 286 | |         unroller.declare_svars(check_offset.next())
[INFO] [stdout] 287 | |         // Unrolling backwards ~~~~~~~~~~~~~^^^^
[INFO] [stdout] 288 | |         => "[Step] while declaring state variables"
[INFO] [stdout] 289 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:291:7
[INFO] [stdout]     |
[INFO] [stdout] 291 | /       try_chain!(
[INFO] [stdout] 292 | |         unroller.unroll(& k)
[INFO] [stdout] 293 | |         => "[Step] while unrolling system at {}", k.next()
[INFO] [stdout] 294 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:299:9
[INFO] [stdout]     |
[INFO] [stdout] 299 | /         try_chain!(
[INFO] [stdout] 300 | |           unroller.unroll(& k)
[INFO] [stdout] 301 | |           => "[Step] while unrolling system at {}", k.next()
[INFO] [stdout] 302 | |         )
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:342:22
[INFO] [stdout]     |
[INFO] [stdout] 342 |           let actlit = try_chain!(
[INFO] [stdout]     |  ______________________^
[INFO] [stdout] 343 | |           self.unroller.fresh_actlit()
[INFO] [stdout] 344 | |           => "[Step::k_split] while declaring activation literal at {}", self.k
[INFO] [stdout] 345 | |         ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:357:9
[INFO] [stdout]     |
[INFO] [stdout] 357 | /         try_chain!(
[INFO] [stdout] 358 | |           self.unroller.assert(& positive, & unroll)
[INFO] [stdout] 359 | |           => "[Step::k_split] while asserting positive implications at {}",
[INFO] [stdout] 360 | |             unroll
[INFO] [stdout] 361 | |         )
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:381:22
[INFO] [stdout]     |
[INFO] [stdout] 381 |           let actlit = try_chain!(
[INFO] [stdout]     |  ______________________^
[INFO] [stdout] 382 | |           self.unroller.fresh_actlit()
[INFO] [stdout] 383 | |           => "[Step::k_split] while declaring activation literal at {}", self.k
[INFO] [stdout] 384 | |         ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:388:9
[INFO] [stdout]     |
[INFO] [stdout] 388 | /         try_chain!(
[INFO] [stdout] 389 | |           self.unroller.assert(& implication, & self.check)
[INFO] [stdout] 390 | |           => "[Step::k_split] while asserting implication for {} terms at {}",
[INFO] [stdout] 391 | |             to_check.len(), self.k
[INFO] [stdout] 392 | |         ) ;
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:395:22
[INFO] [stdout]     |
[INFO] [stdout] 395 |           let is_sat = try_chain!(
[INFO] [stdout]     |  ______________________^
[INFO] [stdout] 396 | |           self.unroller.check_sat_assuming( & actlits )
[INFO] [stdout] 397 | |           => "[Step::k_split] during a `check_sat_assuming` query at {}",
[INFO] [stdout] 398 | |             self.k
[INFO] [stdout] 399 | |         ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:403:23
[INFO] [stdout]     |
[INFO] [stdout] 403 |             let model = try_chain!(
[INFO] [stdout]     |  _______________________^
[INFO] [stdout] 404 | |             self.unroller.get_model(& self.check)
[INFO] [stdout] 405 | |             => "[Step::k_split] \
[INFO] [stdout] 406 | |               while retrieving the values of the candidate terms"
[INFO] [stdout] 407 | |           ) ;
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:416:32
[INFO] [stdout]     |
[INFO] [stdout] 416 |               let term_is_true = try_chain!(
[INFO] [stdout]     |  ________________________________^
[INFO] [stdout] 417 | |               eval.eval(& term)
[INFO] [stdout] 418 | |               => "[Step::k_split] \
[INFO] [stdout] 419 | |                 could not evaluate term {:?} in current model", term
[INFO] [stdout] 420 | |             ) ;
[INFO] [stdout]     | |_____________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:433:9
[INFO] [stdout]     |
[INFO] [stdout] 433 | /         try_chain!(
[INFO] [stdout] 434 | |           self.unroller.deactivate(actlit)
[INFO] [stdout] 435 | |           => "[Step::k_split] could not deactivate negative actlit"
[INFO] [stdout] 436 | |         ) ;
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> tig/src/lsd.rs:482:7
[INFO] [stdout]     |
[INFO] [stdout] 482 | /       try_chain!(
[INFO] [stdout] 483 | |         self.unroller.unroll(& self.k)
[INFO] [stdout] 484 | |         => "while unrolling system at {}", self.k.next()
[INFO] [stdout] 485 | |       ) ;
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused label
[INFO] [stdout]    --> tig/src/lib.rs:158:3
[INFO] [stdout]     |
[INFO] [stdout] 158 |   'work: while max_k.map_or(true, |max| cnt <= max) {
[INFO] [stdout]     |   ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused label
[INFO] [stdout]    --> tig/src/lib.rs:166:5
[INFO] [stdout]     |
[INFO] [stdout] 166 |     'stabilize: while ! is_done {
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> tig/src/lib.rs:238:13
[INFO] [stdout]     |
[INFO] [stdout] 238 |   fn of_cst(& Cst) -> Res<Self> ;
[INFO] [stdout]     |             ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Cst`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> tig/src/lib.rs:240:13
[INFO] [stdout]     |
[INFO] [stdout] 240 |   fn mk_cmp(& Term, & Term) -> Option<TmpTerm> ;
[INFO] [stdout]     |             ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Term`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> tig/src/lib.rs:240:21
[INFO] [stdout]     |
[INFO] [stdout] 240 |   fn mk_cmp(& Term, & Term) -> Option<TmpTerm> ;
[INFO] [stdout]     |                     ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Term`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> tig/src/lib.rs:242:12
[INFO] [stdout]     |
[INFO] [stdout] 242 |   fn mk_eq(& Term, & Term) -> Option<TmpTerm> ;
[INFO] [stdout]     |            ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Term`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> tig/src/lib.rs:242:20
[INFO] [stdout]     |
[INFO] [stdout] 242 |   fn mk_eq(& Term, & Term) -> Option<TmpTerm> ;
[INFO] [stdout]     |                    ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Term`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> tig/src/lib.rs:260:17
[INFO] [stdout]     |
[INFO] [stdout] 260 |   fn choose_rep(& Factory, TermSet) -> Res<(Term, TermSet)> ;
[INFO] [stdout]     |                 ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Factory`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition.
[INFO] [stdout]    --> tig/src/lib.rs:260:28
[INFO] [stdout]     |
[INFO] [stdout] 260 |   fn choose_rep(& Factory, TermSet) -> Res<(Term, TermSet)> ;
[INFO] [stdout]     |                            ^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: TermSet`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition!
[INFO] [stdout]     = note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> tig/src/graph.rs:59:3
[INFO] [stdout]    |
[INFO] [stdout] 59 |   #[inline]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]   --> tig/src/graph.rs:89:3
[INFO] [stdout]    |
[INFO] [stdout] 89 |   #[inline]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> tig/src/graph.rs:143:3
[INFO] [stdout]     |
[INFO] [stdout] 143 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> tig/src/graph.rs:261:3
[INFO] [stdout]     |
[INFO] [stdout] 261 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> tig/src/graph.rs:264:3
[INFO] [stdout]     |
[INFO] [stdout] 264 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> tig/src/graph.rs:278:3
[INFO] [stdout]     |
[INFO] [stdout] 278 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[inline]` is ignored on function prototypes
[INFO] [stdout]    --> tig/src/graph.rs:281:3
[INFO] [stdout]     |
[INFO] [stdout] 281 |   #[inline]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> tig/src/graph.rs:1639:9
[INFO] [stdout]      |
[INFO] [stdout] 1639 |       |(mut graph, prev), _, rep, _| {
[INFO] [stdout]      |         ----^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling kino_api v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]   --> src/lib.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | #[macro_use]
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/lib.rs:91:28
[INFO] [stdout]    |
[INFO] [stdout] 91 |   let (mut context, res) = try!( load(path) ) ;
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 123 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]   --> src/main.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[macro_use]
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-m64" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-Wl,--as-needed" "-L" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.kino.2fp5fzdq-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b" "/opt/rustwide/target/debug/deps/kino-573a00c69d4d876b.4km89erdtggqugsf.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libpruner-6a4815a2f306d72f.rlib" "/opt/rustwide/target/debug/deps/libtig-a44f9cf9429f3f2f.rlib" "/opt/rustwide/target/debug/deps/libtwind-1db6f44643460b38.rlib" "/opt/rustwide/target/debug/deps/libkind-510e77f0ebef322c.rlib" "/opt/rustwide/target/debug/deps/libbmc-690352e83e23ffdd.rlib" "/opt/rustwide/target/debug/deps/libunroll-5629f2dd53f8456d.rlib" "/opt/rustwide/target/debug/deps/libcommon-5eb637a885ff1052.rlib" "/opt/rustwide/target/debug/deps/libansi_term-1157127b005c2aca.rlib" "/opt/rustwide/target/debug/deps/libsystem-1eff875205ba1b99.rlib" "/opt/rustwide/target/debug/deps/libterm-832b3b62bb031c3b.rlib" "/opt/rustwide/target/debug/deps/librsmt2-6842a269e92cfd92.rlib" "/opt/rustwide/target/debug/deps/libhashconsing-093a891582fafd0a.rlib" "/opt/rustwide/target/debug/deps/libnom-be9862bc9a871d92.rlib" "/opt/rustwide/target/debug/deps/liberror_chain-97917f13a7d15f0c.rlib" "/opt/rustwide/target/debug/deps/libbacktrace-7558f7b5aadd51d2.rlib" "/opt/rustwide/target/debug/deps/libbacktrace_sys-3325e367f3512ed4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-ee935a165202afd8.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-7a719300ffe3dcc6.rlib" "/opt/rustwide/target/debug/deps/libdbghelp-f057d414ecc7ce79.rlib" "/opt/rustwide/target/debug/deps/libwinapi-27cf29b15030b890.rlib" "/opt/rustwide/target/debug/deps/libkernel32-a035d98e6f093591.rlib" "/opt/rustwide/target/debug/deps/libnum-4ed7c20c0d9a8af1.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-0709ad2fd87fb7e5.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-2aa29837c90f3a83.rlib" "/opt/rustwide/target/debug/deps/librand-f6572fbbf3f63e25.rlib" "/opt/rustwide/target/debug/deps/liblibc-09f03d77102aafb4.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-554aef23afa7c0e6.rlib" "/opt/rustwide/target/debug/deps/librustc_serialize-3128557d8ab37111.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-5f0cc931517b5386.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-32be3a0603e78da5.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-0012111eb3851f16.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-c6dddd3d354e6bea.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-c2ca47afdcc5e309.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b47be2942017e108.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-20a1e49116ab0df9.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-25e09d9868291683.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-9c99fb6e5ca5159e.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-85040d7563599960.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-0e4f7587da8acf20.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-7be0a6711ed15b5c.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-00672fabc4ff9c9d.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-72fe231ef0473d15.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-019d54ecc304b655.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-cc7d9343e4f608be.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-e41c6d24baeb2249.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-9849bb0fbad7f0f5.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-a1fd7734706d5518.rlib" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-c8ded1707ad10767.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/ff34b919075f35a1787659e9c448a34b06bab8de/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-8b33f9cbbc9652fe.rlib" "-Wl,-Bdynamic" "-lutil" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc"
[INFO] [stdout]   = note: /usr/bin/ld: /opt/rustwide/target/debug/deps/libbacktrace-7558f7b5aadd51d2.rlib(backtrace-7558f7b5aadd51d2.backtrace.ew5sunj7-cgu.12.rcgu.o): in function `backtrace::symbolize::libbacktrace::init_state::{{closure}}':
[INFO] [stdout]           /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.0/src/symbolize/libbacktrace.rs:156: undefined reference to `backtrace_create_state'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/debug/deps/libbacktrace-7558f7b5aadd51d2.rlib(backtrace-7558f7b5aadd51d2.backtrace.ew5sunj7-cgu.12.rcgu.o): in function `backtrace::symbolize::libbacktrace::resolve':
[INFO] [stdout]           /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.0/src/symbolize/libbacktrace.rs:173: undefined reference to `backtrace_pcinfo'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.0/src/symbolize/libbacktrace.rs:177: undefined reference to `backtrace_syminfo'
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `kino_api`
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `Command { std: "docker" "inspect" "7a3a86417fcb7ef3d1312d88ed75839fbdc73e6fe34da83b18afe3d4d4bc9038", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7a3a86417fcb7ef3d1312d88ed75839fbdc73e6fe34da83b18afe3d4d4bc9038", kill_on_drop: false }`
[INFO] [stdout] 7a3a86417fcb7ef3d1312d88ed75839fbdc73e6fe34da83b18afe3d4d4bc9038
